type A = ?(?B)
